Modal Logic

Temporal logics for real-time system specification

Modal Logic / Verification and Validation / Real Time Systems / Temporal Constraints / Optimal Reactive Power System / Specification Language / Temporal Logic / Specification Language / Temporal Logic

Temporal logics for real-time system specification

Modal Logic / Verification and Validation / Real Time Systems / Temporal Constraints / Optimal Reactive Power System / Specification Language / Temporal Logic / Specification Language / Temporal Logic

MultiDimensional Modal Logic as a Framework for Spatio-Temporal Reasoning

Modal Logic / Spatial and Temporal Reasoning / Temporal Information Extraction / Applied artificial intelligence / Spatial logic / Multi Dimensional / Temporal Logic / Multi Dimensional / Temporal Logic

MultiDimensional Modal Logic as a Framework for Spatio-Temporal Reasoning

Modal Logic / Spatial and Temporal Reasoning / Temporal Information Extraction / Applied artificial intelligence / Spatial logic / Multi Dimensional / Temporal Logic / Multi Dimensional / Temporal Logic

Temporal logics for real-time system specification

Modal Logic / Verification and Validation / Real Time Systems / Temporal Constraints / Optimal Reactive Power System / Specification Language / Temporal Logic / Specification Language / Temporal Logic

Sigma algebras in probabilistic epistemic dynamics

Modal Logic / Dynamic Epistemic Logic

Multi-dimensional modal logic as a framework for spatio-temporal reasoning

Modal Logic / Spatial and Temporal Reasoning / Temporal Information Extraction / Applied artificial intelligence / Spatial logic / Multi Dimensional / Temporal Logic / Multi Dimensional / Temporal Logic

Realistic desires

Cognitive Science / Modal Logic / Default Logic / Boolean Satisfiability / Rule Based / BDI agents

A logical duality for underspecified probabilistic systems

Probability Theory / Modal Logic / Boolean Satisfiability / Probabilistic Automata

A logical duality for underspecified probabilistic systems

Probability Theory / Modal Logic / Boolean Satisfiability / Probabilistic Automata

Paraconsistent logic from a modal viewpoint

Modal Logic / Logic / Philosophical Logic / Philosophy of Logic / Paraconsistent logic / Contradiction / Square of Opposition / Contradiction / Square of Opposition

Adaptive Logic as a Modal Logic

Modal Logic / Artificial Intelligence / Logic / Defeasible Reasoning (Computer Science) / Defeasible Logic

Fuzzy Epistemic Logic for Knowability Paradox

Modal Logic / Epistemology / Fuzzy Logic

KED: A Deontic Theorem Prover

Modal Logic / Possible Worlds / Deontic Logic

KED: A Deontic Theorem Prover

Modal Logic / Possible Worlds / Deontic Logic

Uma avaliação do argumento ontológico modal de Plantinga

Modal Logic / Philosophy Of Religion / Natural Theology / Ontological Argument / Alvin Plantinga / Filosofia da Religião

Copyright © 2017 DADOSPDF Inc.